自由浮置罐的振动台模型实验

振动台的模型实验表明,柔性垫层对自由浮置罐有减震作用;自由浮置罐的底部动应力比锚固罐一般要大,且多波效应明显。     

用扩展电阻法研究陶瓷微区电导性能

本文把扩展电阻法应用于陶瓷微区电导性能研究.建立了微区的定位标识系统,可精确、方便地对选定的微区进行电导性能及组分的重复测定.该方法在研究Ba(Sn_(1-x)Sb_x)O_3、ZnO及BaTiO_3半导体瓷应用中得到有意义的结果.     

数字图书馆发展与展望

介绍了网络时代数字图书馆的概念以及目前国内外数字图书馆的发展情况，展望了数字图书馆的发展趋势和未来。     

沼气在果菜粮贮藏业上的应用

文中介绍沼气这种新型绿色能源在果菜粮贮藏中的应用情况,详尽描述了其在贮藏果品、蔬菜中的应用过程,文中对其作用的原理和益处也给予了适当介绍。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

分解炉虚拟样机的开发

以水泥生产过程中的分解炉为对象，分析了分解炉内具体的物理化学过程，同时开发了反映分解炉工作过程(流体力学、燃烧学、分解动力学、颗粒动力学)的数学模型，借助数值模拟方法进行了分解炉虚拟样机的开发，为分解炉的设计与开发提供了试验平台。     

广东河网地带的水生植被

本地区的水生维管束植物种类相当丰富。现已知有131种,隶属于81属,44科,其中挺水植物70种、沉水植物33种、浮水及浮叶植物28种。这些植物对外界环境各有不同的选择,现将它们分为:(一)流动河涌申的植物群落,包括:(1)密齿苦草+竹叶眼予菜+穗花狐尾藻群丛,(2)竹叶眼子菜+穗花狐尾藻群丛。(二)农田灌溉水渠植物群落,包括有:(1)喜旱莲子草+水蓑衣+田字萍群丛。(2)黑藻+水龙群丛。(3)野芋+菰群丛。(4)箭叶雨久花+喜旱莲子草群丛。(三)静水植物群落(低洼水(土朗)、人工湖、荒废池塘),包括有:(1)野荸荠+木贼状荸荠群丛。(2)金银莲花+竹叶眼子菜+密齿苦草群丛。(3)石龙尾+圆叶节节菜群丛。(四)珠江口海滩植物群落,包括有:(1)桐花树+秋茄树+木榄群丛。(2)老鼠簕+桐花树群丛。(3)短叶茳芏+菰群丛。生活在同一水体的各种植物,往往为争夺生活地盘和其他的生态因子而展开剧烈的竞争,不仅种间有竞争,种群内的不同个体也有生存竞争。     

基于改进断裂点理论的机场吸引范围界定

合理界定机场吸引范围,是构建坚固民航运输网络的关键环节。现有的机场吸引范围界定方法,很少考虑与其衔接的地面交通网络,以及旅客出行偏好的影响。为提高机场吸引范围的实用性,本文以城市断裂点理论为基础,对其中的重要参数予以改进。首先,以综合交通运输为背景,指出发达的公路和铁路运输网络对民用机场具有很大的竞争与促进作用,并提出以地面交通出行时间为量化标准的吸引范围界定方法。然后,为分析旅客出行偏好的行为机理,针对于与机场衔接的地面交通网络来建立离散选择模型。其次,将研究区域的机场所在城市看作是一个整体,运用专家评价法和熵权法综合确定机场的吸引规模,并通过机场吞吐量与城市对外出行总量针对机场规模进行修正。最后,通过算例验证改进模型的实际可操作性,为确定多机场系统吸引范围界定提供新的思路和方法。     

PHC管桩机械性连接接头抗拔性能有限元分析

为研究抱箍式连接接头、啮合式连接接头以及内扣式连接接头在受拉状态下的力学性能,基于ABAQUS平台建立三种接头的有限元模型,对三种接头的抗拔性能进行分析。研究结果表明：抱箍式连接接头试件受拉时,拉力主要由连接卡承担。抱箍式连接接头试件最终由于连接卡与端板外侧变形过大而破坏。啮合式连接接头试件受拉时,拉力全部由连接块与连接销承担。试件因连接销受拉应变过大而破坏。内扣式连接接头试件受拉时,拉力主要由内扣件承担,试件最终因内扣件受拉应变过大而破坏。内扣式连接接头不能满足管桩的抗拔连接要求,啮合式与抱箍式连接接头可以满足抗拔要求。啮合式连接接头承载能力高,受力直接,是最经济合理的机械性连接接头。     

基于SC注意力机制和集成学习的冰箱食材识别

近年来,随着智能冰箱技术的不断发展,对冰箱果蔬食材进行精准的类别识别,进而对食材进行保鲜控制,得到了研究者越来越多的关注。目标检测技术依靠深度学习相关技术的发展,也渐渐应用于食材盘点的方法。通过对冰箱果蔬食材特性进行分析,提出了一种基于注意力机制和集成学习思想的YOLOv5和EfficientDet融合的方法。首先对冰箱食材数据集进行了伪彩色图像处理,将SE模块和CBAM模块整合提出了新的SC模块,并引入到YOLOv5s网络中,组成SC-YOLOv5s网络结构;然后将SC-YOLOv5s网络结构与EfficientDetd0网络进行异质集成;最后用集成后的整体网络对尺度有差异但外貌相似的食材进行识别。实验结果表明当IOU阈值为0.5时,在60类果蔬食材测试集上,改进后集成模型的平均最大精确度(mAP)从SC-YOLOv5s的95.88%和EfficientDetd0的83.22%提高到了97.36%,明显提升了对果蔬类食材的检测效果。